System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
681	UC Berkeley Detecting Large-Scale System Problems by Mining Console Logs Wei Xu* Ling Huang† Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-10-13 13:30:12 Principal component analysis Singular value decomposition ALGOL 68 Software engineering Computing Programming language theory Multivariate statistics Data analysis
682	Modular Type Classes Derek Dreyer Robert Harper Manuel M.T. Chakravarty Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:41:04 Programming language theory Type class Generic programming Standard ML Type system Parametric polymorphism Type inference Type signature Kind Software engineering Type theory Computing
683	aiT for TriCore aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipelin Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Infineon TriCore Microcontrollers Compilers Worst-case execution time Embedded system GNU Compiler Collection Toolchain Software Computing Programming language implementation
684	The IBM 1401 Data Processing System Despite being obsolete for over 35 years, the 1401 computer contributed to the recent Y2K crisis! It was so popular that its software continued to run for decades on more modern comput Add to Reading List Source URL: www.ed-thelen.org Language: English - Date: 2008-07-23 04:19:37 Procedural programming languages IBM software IBM COBOL Fortran Autocoder Assembly language IBM 1400 series IBM System/3 Computing Software engineering Computer programming
685	A. Language Comparison This section reviews other languages and systems relative to the requirements for robust servers and open distributed systems. It also compares the capabilities of Joule with those of its antecede Add to Reading List Source URL: www.erights.org Language: English - Date: 2004-12-04 19:43:48 Parallel computing Concurrency Actor model Programming language Linda C++ Tuple space Futures and promises Operating system Computing Computer programming Software engineering
686	1.Foundations This chapter presents the intellectual foundations for Joule: first, a brief synopsis of the history of programming languages, with emphasis on characteristics relative to distributed systems and Joule; se Add to Reading List Source URL: www.erights.org Language: English - Date: 2004-12-04 19:43:53 Programming paradigms Software architecture Distributed computing architecture Server Server hardware Client–server model Operating system Programming language Kernel Computing Software engineering Computer programming
687	Activity Report[removed]Project-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-01-26 04:10:29 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
688	GAO[removed]Highlights, Healthcare.gov: CMS Has Taken Steps to Address Problems, but Needs to Further Implement Systems Development Best Practices Add to Reading List Source URL: www.gao.gov. Language: English - Date: 2015-03-04 11:59:26 Management PHP programming language Content management systems IBM CP-40 Software System software Best practice
689	Static Timing Analysis of Real-Time Operating System Code Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, and Bj¨ orn Lisper Dept. of Computer Science and Engineering M¨ Add to Reading List Source URL: www.mrtc.mdh.se Language: English - Date: 2004-11-30 08:39:18 Software engineering Real-time computing Worst-case execution time WCET Compiler optimization Analysis Compiler ARM architecture Assembly language Computing Programming language implementation Computer programming
690	SYMANTEC ADVANCED THREAT RESEARCH 1 Attacks on Virtual Machine Emulators Peter Ferrie, Senior Principal Researcher, Symantec Advanced Threat Research Add to Reading List Source URL: pferrie.host22.com Language: English - Date: 2011-09-27 16:13:20 X86 architecture Programming language implementation Virtual machines QEMU CPUID VMware Bochs X86 Windows Virtual PC System software Software Computer architecture

UPDATE